theorem :: INTEGRA6:13

for A being non empty closed_interval Subset of REAL
for f, g being PartFunc of REAL,REAL st f | A is bounded & g | A is bounded holds
(f (#) g) | A is bounded