Axiom:Commutative and Unitary Ring Axioms