Denna sats , som utialdre