theorem :: DECOMP_1:21

for X, Y being non empty TopSpace
for f being Function of X,Y holds
( f is p-continuous iff ( f is sp-continuous & f is (p,sp)-continuous ) )