Denna sats har öfvergifvitsaf