theorem Th23E: :: FUZZY_6:46

for a, b being Real holds AffineMap (a,b) = (a (#) (#Z 1)) + (b (#) (#Z 0))