does this count as a proof?

No.14305519 ViewReplyOriginalReport
0 + a = a
a * 1 = a
-1 * 0 = 0
-a = -1 * a
ab = ba
a(b+c) = ab + ac

(-1) * 0 = 0
0 = 1 - 1
(-1)(1 - 1) = 0
-1 + (-1)(-1) = 0
+ 1 -1 + (-1)(-1) = 0 + 1
(-1)(-1) = +1

(-a)(-b) = (-1)(+a)(-1)(+b) = (-1)(-1)(+a)(+b) = (+1)(+a)(+b) = ab where a, b are real numbers greater than 0