Puisque divise , il existe un polynôme tel que (*).

Donc et .

Alors il existe deux réels , tels que , .

Les coefficients dominants des polynômes , , sont respectivement , , .

L'égalité (*) implique , d'où car .

On en déduit , si on désigne par le réel .

Conclusion : Il existe un réel tel que .