  Let (M,g) be a compact oriented Einstein 4-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 CP2, equipped with its standard
Fubini-Study metric.
