Denna sats innebär önskvärdhetenaf