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