theorem
  for F,G st F is discrete holds F\G is discrete by Th2,XBOOLE_1:36;
