Notons , alors , , ne divisant ni ni .

On en déduit : et par contraposée de la proposition : Polynôme irréductible divisant un produit, , irréductible, ne divisant ni ni , ne divise pas leur produit.

Alors , d'où la relation : .