The positive remainder はtoo smすべてwhen b b b はlarge.
Fまたは7a>b27a>b^27a>b2 翻訳:, divisibility gives D≤7a−b2 D\le7a-b^2D≤7a−b2. もし b≥3 b\ge3b≥3 翻訳:, then D=ab2+b+7>7a−b2 D=ab^2+b+7>7a-b^2D=ab2+b+7>7a−b2, a contradiction. したがって b=1 b=1b=1 またはb=2 b=2b=2.