theorem Th47: :: KURATO_1:47

Cl KurExSet, Cl (Int KurExSet), Cl (Int (Cl KurExSet)) are_mutually_distinct by Th38, Th29, Th31;