Lines Perpendicular to the Same Line Are Parallel