The proof depends on the prime factorizations of a, b, c and d.