He proved the existence of parallel lines.

• 他证明了平行线的存在性。