I have to prove that x*0= 0 where x is any integer. I can do this pretty easily using the proposition that m(-1)=-m but I am not allowed to use this. In addition, I am unable to prove m(-1)=-m unless I accept the fact that anything times zero equals zero. Can anyone give me a hint or push on how to show this? I am just going around in circles.