The useful Lifting the Exponent Lemma, which states that for odd prime p and m,n such that p|(m-n), vp(m^p-n^p) = vp(m-n)+1.
