theorem Th76:
  P is bounded implies Cl(proj1.:P) = proj1.:Cl P
by Th73,Th74;
