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