Som bekant anses det för ett axiom , attdet