Selberg theorem 并列题名：Selberg theorem Barbier theorem Kummer theorem Leibniz theorem Pedoe theorem Neuberg-Pedoe theorem Picard theorem Ramsey theorem Sturm theorem