p>5なる素数pに対してＲp-1がその倍数である事の証明になってるの、それ？ ちょっとよくわからなかったんだけど。