The crucial question is, what axioms are you allowed to use? The "distributive law" has been suggested but that assumes that you are working in the real numbers or at least a ring in which the distributive law is true. But "0= -0" only requires the "0" element and additive inverse- you should be able to prove this in any group. What is the definition of "-0"? Is it (-1)(0) or "the additive inverse of the multiplicative identity time the additive identity" or just "the additive inverse of the additive identity"?