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).