In 1640 Pierre de Fermat stated (without proof) Fermat's little theorem (later proved by Leibniz and Euler).
Besides Leibniz, what other mathematician proved the validity of Fermat's little theorem?
Euler