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.