Изменения

Если возвести обе части всех этих уравнений в квадрат и сложить их почленно, то получиться одно уравнение, которое будет иметь те же решения на множестве натуральных чисел, что и вся система. Таким образом, теорема о неразрешимости десятой проблемы Гильберта была доказана.