Proof: Assuming that 0>0 is established,

Is there a definition of inequality?

-0 & lt； -0

Because-0 = 0,0

The conclusion is contrary to the hypothesis, so the proposition is not valid.