for p, q being Element of absolute
for a, b being Element of BK_model ex N being invertible Matrix of 3,F_Real st
( (homography N) .: absolute = absolute & (homography N) . a = b & (homography N) . p = q )