Question 381892
This is a proven statement, or a theorem in euclidean geometry:  Two lines both perpendicular to the same line are parallel. (Always true.)