Category:Lifting The Exponent Lemma