So does everybody know the Axioms of Addition and Multiplication?
They are too long to type, but they are listed:
A1, A2, A3, A4, A5, M1, M2, M3, M4, M5 and the distributive law, DL.
anyways, I want to prove:
1. (-x)y = -(xy) and 2. (-x)(-y) = (xy) using ONLY the axioms of additon and...