Riemannian Rigidity of the Parallel Postulate in Total Curvature

We prove that the Euclidean plane is the only Riemannian plane with total curvature and free of conjugate points that satisfies Playfair's version of the parallel postulate.