Detta är ett axiom.