second axiom proved