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