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.