As , and , each of the prime factors of and appear in the prime decomposition of with at least the multiplicity that they appear in the decompositions of and .

But as they share no prime factors, so all the prime factors of appear in the prime decomposition of with at least the multiplicity that they appear in the prime decomposition of . Hence .

RonL