Adult theorem Adult Theorem Sturm theorem Catalan theorem Ramsey theorem Bézout theorem Jacobi theorem Go?del's theorem Hadwiger theorem Sandwich theorem