Denna sats är naturligtvis tillämpligpå