List Of Algebraic Properties For Proofs