theorem Th19: :: INTEGR19:19

for A being non empty closed_interval Subset of REAL
for n being non zero Element of NAT
for h being PartFunc of REAL,(REAL n) st A c= dom h & h | A is bounded holds
|.h.| | A is bounded