短い解答で素晴らしいです
俺の書いた証明ではn =p^i*m(i=ord_p(n))とおいて証明するものでした

今考えてる問題は(n')'=nなるnが存在しないだろうというものですが、まだ証明できてません