 reserve a,b,c,x for Real;

theorem
  AffineMap (0,1).b = 1
  proof
    AffineMap (0,1).b = 0*b + 1 by FCONT_1:def 4 .= 1;
    hence thesis;
  end;
