We can apply the <u>Lines Perpendicular to a Transversal Theorem</u>, which states that if two lines intersect and are perpendicular to that same transversal, then those two lines are parallel.
In the given conditional statement, ⊥ and ⊥ , line is the transversal that cuts through both lines and .
Therefore, lines and are perpendicular to line . Hence, by the Lines Perpendicular to a Transversal Theorem, ║ .