kunna vi antaga som ett axiom.