Denna sats måste först sjelf bevisas.