Prove .
If , then . So . Then and so . If , then . So and . Thus .
If and , then and . Similar process if .
Is this correct?
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)