¹This follows from the fact that p|(b² - 1) = (b - 1)(b + 1), so either p∣(b - 1), in which case b ≡ 1 (mod p), or p∣(b + 1), in which case b ≡-1 (mod p).