Looks good to me
Course: Foundations of Higher Math
Let . If , then and . State and prove the converse.
Converse: If and , then .
It seems easier to prove by contrapositive so
Assume that , i.e. , for some integer a.
So, or .
Hence, or
How's that?