theorem Th62: :: KURATO_1:62

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