theorem :: BKMODEL2:39

for ra being non zero Element of F_Real
for M, O being invertible Matrix of 3,F_Real st O = symmetric_3 (1,1,(- 1),0,0,0) & M = ra * O holds
(homography M) .: absolute = absolute