theorem Th33: :: JORDAN1K:33

for p, q being Point of (TOP-REAL 2)
for r being Real holds (AffineMap (r,(q `1),r,(q `2))) . p = (r * p) + q