[math-fun] q^n mod p^n