Talk:Lifting-the-exponent lemma