Corollary: Existence of Parallel Straight Lines
(related to Proposition: 1.16: The Exterior Angle Is Greater Than Either of the NonAdjacent Interior Angles)
If the segments \(\overline{BA}\) and \(\overline{CF}\) used to prove the proposition 1.16 were extended to straight lines \(BA\) and \(CF\), those straight lines could not meet at any finite distance. In other words, they are parallel.
Table of Contents
Proofs: 1
Mentioned in:
Axioms: 1
Definitions: 2
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Calahan
 @Casey
References
Adapted from CC BYSA 3.0 Sources:
 Callahan, Daniel: "Euclidâ€™s 'Elements' Redux" 2014
Adapted from (Public Domain)
 Casey, John: "The First Six Books of the Elements of Euclid"