first axiom proved