Denna sats kanske icke är så fullt axiomatisk,