theorem Th86: :: JORDAN2C:102

for f being FinSequence of (TOP-REAL 2) holds L~ f is boundary