doesn't 0=0 reduce to 1 because of double negation? like saying nothing is nothing(0=0)=(1=1)
0=1
(A=A) = (-A=-A) reduces to A=A though, how does it reduce to A=-A?
it reduces to A=A like this:
(A=A) reduces to A
(-A=-A) reduces to A
So A=A?
-A=-A and A=A would be the same thing