add explanation for pow_mod