theorem Th16:
  for f be PartFunc of REAL,REAL n, g be Function of A,REAL n
  st f is bounded & f = g holds g is bounded;
