поскольку для любого

идеал, порождаемый им, совпадает во всем кольцом, для любых

и

существует

такое, что

(

).
Дальше надо доказать, что для любого

из уравнения

получается один и тот же

. Для этого надо заметить, что домножив

слева на подходящий элемент, получим

.