text: Теорема Лагранжа утверждает, что ненулевой многочлен степени n имеет не более n корней над полем K. Если учесть, что многочлен x 2 − n {\displaystyle x^{2}-n} имеет 2 корня в F p {\displaystyle \mathbf {F} _{p}} , никаких других корней быть не может F p 2 {\displaystyle \mathbf {F} _{p^{2}}} .