次に b≥ab\ge ab≥a とする。b2b^2b2 が a3a^3a3 を割り切るので、正整数 ccc を用いて a3=b2ca^3=b^2ca3=b2c と書ける。法 a−1a-1a−1 で考えると a≡1a\equiv1a≡1 であり、(a−1)∣(b−1)(a-1)\mid(b-1)(a−1)∣(b−1) より b≡1b\equiv1b≡1 なので b2≡1b^2\equiv1b2≡1、よって a3≡1(moda−1)a^3\equiv1\pmod{a-1}a3≡1(moda−1) である。a3=b2ca^3=b^2ca3=b2c より c≡1(moda−1)c\equiv1\pmod{a-1}c≡1(moda−1) が従う。