theorem Lm21L: :: FUZZY_7:36

for A being non empty closed_interval Subset of REAL
for a, b, c being Real st a < b & b < c holds
( TriangularFS (a,b,c) is_integrable_on A & (TriangularFS (a,b,c)) | A is bounded )