^{1}This follows from the fact that p|(b^{2} - 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).