>>444
なるほど、この素数であれば成り立つことを示せばいい訳ですね