Farkas' Theorem : Wikipedia
Mean Value Theorem : Wikipedia
Axiom of choice : Wikipedia
Fundamental Theorem of Algebra : Wikipedia
Restricted sumset : Wikipedia
Fermat's Last Theorem
Well-ordering principle