är ett axiom , som n.