Someone recently asked me why a negative ×× a negative is positive, and why a negative ×× a positive is negative, etc. I went ahead and gave them a proof by contradiction like this: Assume (−x)⋅(−y)=−xy(−x)⋅(−y)=−xy Then divide both sides by (−x) and you get (−y)=y Since we have a contradiction, then our first assumption must be incorrect. I'm guessing I did something wrong here. Since the conclusion of (−x)⋅(−y)=(xy) is hard to derive from what I wrote. Is there a better way to explain this? Is my proof incorrect? Also, what would be an intuitive way to explain the negation concept, if there is one?