theorem Th3:
  B is semi-open iff B = sInt B by XBOOLE_1:17,28;
