theorem Th29: :: BKMODEL2:38

for a being non zero Real
for N being invertible Matrix of 3,F_Real st N = symmetric_3 (a,a,(- a),0,0,0) holds
(homography N) .: absolute = absolute