Barbier theorem Hadwiger theorem Jacobi theorem Ramsey theorem Artin theorem Hurwitz theorem Kummer theorem Selberg theorem Sandwich theorem barbie tm