> Requirements for _sqrt_mod_prime_power() are either k == 1 or a % p != 0 if k > 1.

I changed ``_sqrt_mod_prime_power`` so that it is used only with ``a % p != 0``