theorem :: BKMODEL2:62

for P, Q, R 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 & (homography N) . P = R & (homography N) . Q = R holds
P = Q by ANPROJ_9:16;