>>570
Z/p^2Z の可逆元全体がなす群を G とする.
このとき G の位数は p(p-1),よって
任意の a ∈ G について a^{p(p-1)} = 1