メルセンヌ素数ならリュカ=レーマー判定法を使うんだ!!