theorem :: BKMODEL3:37

for P being Element of BK_model
for h being Element of SubGroupK-isometry
for N being invertible Matrix of 3,F_Real st h = homography N holds
ex u being non zero Element of (TOP-REAL 3) st
( (homography N) . P = Dir u & u . 3 = 1 )