The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “More on Divisibility Criteria for Selected Primes”

Lagrange’s Four-Square Theorem

Yasushige Watase (2014)

Formalized Mathematics

Similarity:

This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23]. This theorem is item #19 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.