Then, p² must divide mp − 1-1.
このとき p2 は mp − 1-1 を割り切る。