Barbier theorem Hadwiger theorem Ramsey theorem Artin theorem Hurwitz theorem Jacobi theorem Kummer theorem Selberg theorem Sandwich theorem Pick theorem