Lee Yorke theorem Pedoe theorem Selberg theorem Zernov theorem Minkowski theorem Picard theorem Pick theorem Barbier theorem Bézout theorem Jacobi theorem