theorem :: BKMODEL2:60

for P, Q being Element of BK_model ex h being Element of SubGroupK-isometry ex N being invertible Matrix of 3,F_Real st
( h = homography N & (homography N) . P = Q & (homography N) . Q = P )