Looks correct to me, though there are some weird things...

This is of course assuming that

------------------------------------

Prove .

If , then . So . Then (<< then ? it's not a consequence of but of ) and so . If , then . So and . Thus (<< by multiplying each inequality by -1)

If and , then and . Similar process if . (<< this one is good)