proof using axioms