Denna sats är emellertid icke något axiom.