theorem Th18: :: FUZZY_9:17

for a, b, c, x being Real st a < b & b < c & x in [.a,c.] holds
(TriangularFS (a,b,c)) . x >= 0