a^p \equiv_{p^{n+1}} b^p