\[\begin{array}{l} {\text{Ненулевые квадратичные вычеты образуют подгруппу индекса 2}} \hfill \\ {\text{в мультипликативной группе кольца }}{\mathbb{Z}_p}. \hfill \\ \end{array}\]