theorem Th36: :: BKMODEL2:47

for N being invertible Matrix of 3,F_Real
for h being Element of SubGroupK-isometry st h = homography N holds
( h " = homography (N ~) & homography (N ~) is Element of SubGroupK-isometry )