\[\begin{array}{l} {\text{Если }}f\left( x \right) \in {\mathbb{Z}_p}\left[ x \right]{\text{, где }}p{\text{ - простое число}}{\text{, то при целых}} \hfill \\ m \geqslant 1{\text{ верно равенство }}{\left( {f\left( x \right)} \right)^{{p^m}}} = f\left( {{x^{{p^m}}}} \right). \hfill \\ \end{array}\]