Abstract
Proofs of Z lemma and Pillai’s conjecture are given.
Reference12 articles.
1. [Ca] Catalan, E. (1844). Note taken from a letter addressed to the publisher (fr). Jour. Reine Angew. Math., 27(192): 165–186.
2. [Kh1] Kharkin, O. N. (2021). Theorem on the exlusion of hit triples and abc conjecture. https://doi.org/10.24108/preprints–3112258.
3. [Kol] Kolmogorov, A. N. (1925). About the principle of tertium non datur (rus). Mathematical digest, 32 (4): 646–667.
4. [KR] Kornilowicz, A., Rudnicki, P. (2004). Fundamental theorem of arithmetic. Formalized Mathematics, 12 (2): 179–185.
5. [Mi] Mihailescu, P. V. (2004). Primary Cyclotomic Units and a Proof of Catalan’s Conjecture. Jour. Reine Angew. Math., 572: 167–195.