for h, g being Element of GroupHomography3
for N, Ng being invertible Matrix of 3,F_Real st h = homography N & g = homography Ng & Ng = N ~ holds
g = h "