User:Ascii/Coprime Relation for Integers is Symmetric

Theorem
The relation "is coprime to" on the integers is symmetric.

That is:


 * $\forall m, n \in \Z: m \perp n \iff n \perp m$

where $\perp$ denotes "is coprime to".