In hyperbolic geometry: Given two lines
t,n
with common perpendicular
q,
vec(MS)
. If
F,N
on
s
such that
M*F*N
, then show that
d(N,t)>d(F,t)
.
