theorem :: SPRECT_3:53

for f being V22() standard special_circular_sequence
for g being FinSequence of (TOP-REAL 2) holds
( g is_in_the_area_of f iff g is_in_the_area_of SpStSeq (L~ f) )