Его доказательство, что для любого алгебраичского числа существует только один приведённый многочлен в Q[x] минимальной степени (а все остальные получены из него умножением на другие многочлены) – просто потрясное. Так всё построил, что НЕ понять тяжело.