Leibniz theorem 并列题名：Leibniz theorem Selberg theorem Zernov theorem Picard theorem Pick theorem Artin theorem Barbier theorem Hurwitz theorem Jacobi theorem