# Lifting the Exponent

 Title: Lifting the Exponent Author: Jakub Kądziołka (kuba /at/ kadziolka /dot/ net) Submission date: 2021-04-27 Abstract: We formalize the Lifting the Exponent Lemma, which shows how to find the largest power of $p$ dividing $a^n \pm b^n$, for a prime $p$ and positive integers $a$ and $b$. The proof follows Amir Hossein Parvardi's. BibTeX: @article{Lifting_the_Exponent-AFP, author = {Jakub Kądziołka}, title = {Lifting the Exponent}, journal = {Archive of Formal Proofs}, month = apr, year = 2021, note = {\url{https://isa-afp.org/entries/Lifting_the_Exponent.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License