theorem Th21: :: FUZZY_9:28

for a, b, c, d being Real st a < b & b < c & c < d holds
for x being object st x in [.b,c.] holds
(TrapezoidalFS (a,b,c,d)) . x = (AffineMap (0,1)) . x