Поскольку многочлены с рациональными коэффициентами образуют область целостности, то необходимость в проверке тождеств отпадает. Остальная ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Фрид Э.N.
Элементарное введение в абстрактную алгебру
Поскольку многочлены с рациональными коэффициентами образуют область целостности, то необходимость в проверке тождеств отпадает. Остальная часть первого утверждения доказывается так же, как в решении предыдущей задачи.