Denna sats vore ett axiom , somborde