b \equiv 1 \pmod{b-1}