for a, b being Real holds (AffineMap (a,b)) . 1 = a + b