theorem Th24: :: COUSIN:27

for a, b, x being Real st a <= x & x <= b holds
<*x*> in product <*[.a,b.]*>