Wieferich–Kempner Theorem

Jamie Chen 🌐

March 6, 2024

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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