facts about integer order
Prove one more proposition about integer negation
Prove stuff for rationals.