theorem Th44: :: JGRAPH_2:44

for A, B, C, D being Real st A > 0 & C > 0 holds
AffineMap (A,B,C,D) is one-to-one