Ramsey theorem Ramsey theory Kummer theorem Barbier theorem Jacobi theorem Pedoe theorem Hadwiger theorem Catalan theorem Selberg theorem Picard theorem