|
gptkb:Lambert's_theorem
|
the existence of non-Euclidean geometries.
|
|
gptkb:Cook's_theorem
|
other NP-completeness results
|
|
gptkb:Euler's_formula_for_polyhedra
|
other mathematical theorems
|
|
gptkb:Ellis–van_der_Waerden_theorem
|
other combinatorial results
|
|
gptkb:Floer_homology
|
the Arnold conjecture
|
|
gptkb:Large_cardinal_axiom
|
Independence results
|
|
gptkb:Koebe's_circle_packing_theorem
|
other mathematical theorems
|
|
gptkb:Koebe's_one-quarter_theorem
|
other results in geometric function theory.
|
|
gptkb:Fermat's_little_theorem
|
Wilson's theorem
|