Wieferich–Kempner Theorem

Jamie Chen 🌐

March 6, 2024


This document presents a formalised proof of the Wieferich–Kempner Theorem, stating that all nonnegative integers can be expressed as the sum of nine nonnegative cubes. The source of the proof is the book "Additive Number Theory: The Classical Bases" by Melvyn B. Nathanson.


GNU Lesser General Public License (LGPL)


Related publications

Session Wieferich_Kempner