Denna sats torde vara ett axiom.