lifting the exponent noun1 •A lemma used to calculate the p-adic order of differences and sums of perfect powers.