Assume x < y, and assume to the contrary that y < x. since x < y, we have x - y < 0. But also, since y < x, we have x - y > 0. this is a contradiction. (it violates the law of tricotomy)

this is similar to the last one.if x > y, then it is false that y > x.

Assume x < y. then that means x - y < 0. But x - y = x + 0 - y = x - z + z - y = x - z - (y - z) < 02) Prove if x < y and z is a number, then x-z < y-z.

adding y - z to both sides, we obtain the desired result.