Hyperbolic Geometry Theorem 5
Thm 6.5: In hyperbolic geometry, if lines l and l' have a common perpendicular segment MM' then they are parallel and MM' is unique. Moreover, if A and B are any points on l such that M is the midpoint of segment AB, then A and B are equidis-tant from l'.