theorem :: BKMODEL4:24

for N being invertible Matrix of 3,F_Real st N = <*<*2,0,(- 1)*>,<*0,(sqrt 3),0*>,<*1,0,(- 2)*>*> holds
(homography N) .: absolute = absolute