That last one, called Tychonoff's theorem, is yet another equivalence to the axiom of choice.

According to a deep theoretical result called Noether's theorem, any such symmetry will also imply a conservation law alongside.

He also proved a result concerning Fermat numbers that is called Goldbach's theorem.

Alhazen solved problems involving congruences using what is now called Wilson's theorem.

In 1951 he formulated and proved the famous result from complex analysis called Mergelyan's theorem.

At approximately the same time, he proved what is now called Lusin's theorem in real analysis.

It included a statement of a special case of what is now called Bayes' theorem.

A further result, also commonly called Ramsey's theorem, applies to infinite graphs.

This fact is sometimes called Heath's theorem; it is one of the early results in database theory.

He established several important theorems (all called Chasles' theorem).