theorem Th32: :: ORDEQ_01:32

for n being non zero Element of NAT
for a, b being Real
for f being continuous PartFunc of REAL,(REAL-NS n) st dom f = ['a,b'] holds
f | ['a,b'] is bounded