theorem Th4:
  B is pre-open iff B = pInt B by XBOOLE_1:17,28;
