Integers are Coprime iff Powers are Coprime

Theorem
Let $a, b \in \Z$ be integers.

Then:
 * $a \perp b \iff \forall n \in \N: a^n = b^n$

That is, two integers are coprime iff all their positive integer powers are coprime.