theorem :: BKMODEL2:44

for h being Element of EnsK-isometry
for N being invertible Matrix of 3,F_Real st h = homography N holds
(homography N) .: absolute = absolute