Perpendicular Line Theorem 1

If two lines are perpendicular to the same line, then they are parallel to each other.