theorem Th31: :: BKMODEL3:36

for P 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 holds
(homography N) . P is Element of BK_model