An intrinsic proof of Gromoll-Grove diameter rigidity theorem

Using the spherical trip theorem, we present a new intrinsic proof of Gromoll–Grove diameter rigidity theorem: "If a simply-connected Riemannian manifold has sectional curvature ≥ 1 and diameter , then either it is homeomorphic to a sphere, or it is isometric to one of classic projective spaces".