Ойойойой шизаа
Спасибо, это на самом деле прокол в оформлении решения
В общем, после доказательства x^{13}\equiv x, мы можем подставить x+y, то есть (x+y)^{13} \equiv (x+y) \equiv x^{13}+y^{13} (mod\ p). Поэтому сравнение верно
Ойойойой шизаа
Спасибо, это на самом деле прокол в оформлении решения
В общем, после доказательства x^{13}\equiv x, мы можем подставить x+y, то есть (x+y)^{13} \equiv (x+y) \equiv x^{13}+y^{13} (mod\ p). Поэтому сравнение верно