theorem Th62:
  KurExSet <> KurExSet`
by XBOOLE_1:66,XBOOLE_1:79;
