Zernov theorem Pedoe theorem Leibniz theorem Artin theorem Barbier theorem Hurwitz theorem Selberg theorem Lee Yorke theorem Picard theorem Pick theorem