lifting the exponent

Noun

 * 1)  A lemma used to calculate the p-adic order of differences and sums of perfect powers.