If , , and are integers (or, more generally, elements of a principal ideal domain) with and gcd, then .