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