I think the comment is correct; first there is the case ``a % p**n == 0``,  then the case ``a % p**k == 0``;
in both cases ``a % p == 0``.