theorem Th29:
  M /\ N is Subset of T|N
proof
  M /\ N c= N by XBOOLE_1:17;
  then M /\ N c= [#](T|N) by PRE_TOPC:def 5;
  hence thesis;
end;
