Denna sats visar redan derigenom sin ohällbaihet,