theorem Th30: :: BKMODEL3:35

for P being Point of real_projective_plane
for h being Element of SubGroupK-isometry
for N being invertible Matrix of 3,F_Real st h = homography N holds
( P is Element of absolute iff (homography N) . P is Element of absolute )