theorem Th36: :: JORDAN1K:36

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