for t being Point of (TOP-REAL 2) holds (AffineMap (a,b,c,d)) . t = |[((a * (t `1)) + b),((c * (t `2)) + d)]| by Def2;
hence AffineMap (a,b,c,d) is continuous by Th43; :: thesis: verum