theorem Th48: :: KURATO_1:48

for X being set st X in {(Int KurExSet),(Int (Cl KurExSet)),(Int (Cl (Int KurExSet)))} holds
X is non empty open Subset of R^1