theorem Th36:
  X \ Y c= X
by XBOOLE_0:def 5;
