Vi utgå från ett axiom , ensjelfklar