3. Теорема о тождестве.
Если А — область целостности, содержащая бесконечно много элементов, то верна следующая теорема о тождестве.
Теорема 2. Если два полинома
равны тождественно в А (т. е. принимают одинаковые значения при одинаковых наборах значений букв), то они равны формально.
Для доказательства достаточно установить справедливость леммы:
Лемма. Если полином
тождественно равен нулю в А (т. е. все его значения равны нулю), то он равен нулю формально.
Действительно, достаточно перейти от многочленов
к их разности 