If two lines are sensed parallels to a third line, they are also sensed parallels to each other.
If two lines are sensed parallels to a third line, the line farthest away has the smallest angle of parallelism.
A quadrilateral is a Saccheri quadrilateral if and only if it has two consecutive right angles adjacent to two congruent sides. The side orthogonal to two sides is the base. The opposite side is the summit.
The non-right angles in a Saccheri quadrilateral are congruent.
The line segment joining the midpoint of the base to the midpoint of the summit is orthogonal to both.
Let ABCD be a Saccheri quadrilateral with right angles at A and B. Prove that ∠ADΩ≌∠BCΩ.
The non-right angles in a Saccheri quadrilateral are acute.
Parallel lines are not everywhere equidistant.
A transversal perpendicular to two parallel lines is unique.