theorem Th5: :: DECOMP_1:5

for T being TopSpace
for B being Subset of T holds
( B is pre-semi-open iff B = psInt B ) by XBOOLE_1:17, XBOOLE_1:28;