Теорема Абъянкара–Моха–Судзуки

Эта заметка содержит полное доказательство Теоремы Абъянкара–Моха–Судзуки (АМС-теоремы, см. «Математическое просвещение», вып. 12, задача 11). Доказательство основано на новом алгоритме для нахождения алгебраической зависимости двух многочленов от одной переменной. Для понимания заметки не требуется знаний, выходящих за рамки школьной программы.