theorem Th12: :: SPPOL_2:12

for p being Point of (TOP-REAL 2) holds L~ <*p*> = {} by FINSEQ_1:39, TOPREAL1:22;