Sarkovskii's theorem Minkowski theorem Barbier theorem Jacobi theorem Zernov theorem Ramsey theorem Artin theorem Go?del's theorem Hippasus theorem Hurwitz theorem