et . De plus, le de et est égal au produit de tous les facteurs premiers figurant dans l'une ou l'autre des décompositions de et , chacun d'eux étant affecté du plus grand exposant avec lequel il figure dans la décomposition de et .

Donc .