and . Hence .
Course: Foundations of Higher Math
Chapter: Proofs involving Real Numbers
Let a, b, and m be integers. Prove that if , then or .
Contrapositive: If and , then
Assume that and . So, and .
Then,
but being less than "12m+5" doesn't necessarily mean it's less than "12m+1"