theorem
  f|A is bounded & g|A is bounded implies (f(#)g)|A is bounded
proof
  assume f|A is bounded & g|A is bounded;
  then (f(#)g)|(A /\ A) is bounded by RFUNCT_1:84;
  hence thesis;
end;
