b^k \bmod n