Let (
M, g) be a compact oriented four-dimensional Einstein manifold. If
M has positive intersection form and
g has non-negative sectional curvature, we show that, up to rescaling and isometry, (
M, g) is

2, with its standard Fubini–Study metric.
Einstein manifold - scalar curvature - sectional curvature - Weyl curvature