"Beltrami wrote in 1868 a classical paper, Saggio di interpretazione della geometria non-euclidea (Giorn. di Matem., 6) which is analytical (and... should be mentioned elsewhere were we to adhere to a strict separation between synthesis and analysis). He reached the brilliant and surprising conclusion that in part the theorems of non-Euclidean geometry find their realization upon surfaces of constant negative curvature. He studied, also, surfaces of constant positive curvature, and ended with the interesting theorem that the space of constant positive curvature is contained in the space of constant negative curvature."