### Abstract

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.

### License

GNU Lesser General Public License (LGPL)

### Topics

- Mathematics/Number theory

### Related publications

- Nathanson, M. B. (1996). Additive Number Theory. In Graduate Texts in Mathematics. Springer New York. https://doi.org/10.1007/978-1-4757-3845-2

### Session Wieferich_Kempner

- Wieferich_Kempner

### Depends on

- Three Squares Theorem

### Auto-related entries

- Polygonal Number Theorem

## Cite

×

Wieferich_Kempner-AFP

    @article{Wieferich_Kempner-AFP,
      author  = {Jamie Chen},
      title   = {Wieferich–Kempner Theorem},
      journal = {Archive of Formal Proofs},
      month   = {March},
      year    = {2024},
      note    = {\url{https://isa-afp.org/entries/Wieferich_Kempner.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest