Someone recently asked me why a negative $\\times$ a negative is positive, and why a negative $\\times$ a positive is negative, etc. I went ahead and gave them a proof by contradiction like this: