Kummer theorem Ramsey theorem Barbier theorem Selberg theorem Pedoe theorem Sturm theorem Hadwiger theorem Hurwitz theorem Picard theorem Pick theorem