theorem Th40: :: SPRECT_1:40

for S being Subset of (TOP-REAL 2) holds len (SpStSeq S) = 5