theorem Th49: :: KURATO_1:49

for X being set st X in {(Int KurExSet),(Int (Cl KurExSet)),(Int (Cl (Int KurExSet)))} holds
X <> REAL