theorem Th39: :: SPPOL_2:39

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st p in rng f & f is special holds
f :- p is special