Picard theorem Pick theorem Jacobi theorem Sturm theorem Hippasus theorem Catalan theorem Leibniz theorem Selberg theorem Ramsey theorem Adult theorem