take AffineMap (1,1) ; :: thesis: AffineMap (1,1) is continuous
thus AffineMap (1,1) is continuous ; :: thesis: verum