x^n-1はnが素数だとx−1以外で因数分解できない