theorem Th1: :: DECOMP_1:1

for T being TopSpace
for B being Subset of T holds
( alphaInt B = pInt B iff sInt B = psInt B )