Parallel lines in hyperbolic geometry