theorem Th5:
  B is pre-semi-open iff B = psInt B by XBOOLE_1:17,28;
