theorem
  A is boundary implies A /\ B is boundary by Th11,XBOOLE_1:17;
