For any two integers
and
, suppose
. Then if
is relatively prime to
, then
divides
. This results appeared in Euclid's Elements, Book VII,
Proposition 30.
This result is incorrectly termed "Gauss's lemma," which is an entirely different result, by Séroul (2000, pp. 10-11).