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 Th53; :: thesis: verum