Turned Axioms in Lemmas and proven them