theorem Th77:
  P is bounded implies Cl(proj2.:P) = proj2.:Cl P
by Th73,Th75;
