Cheeger-Gromoll splitting theorem

A complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line splits isometrically as $N\times \mathbb{R}$.