b^n \equiv 1