let TS be TopSpace; :: thesis: [#] TS is open
Int ([#] TS) = [#] TS by Th43;
hence [#] TS is open ; :: thesis: verum