theorem Th23C: :: FUZZY_6:44

for a, b being Real holds (id REAL) (#) (AffineMap (a,b)) = (a (#) (#Z 2)) + (b (#) (#Z 1))