theorem Th11: :: JORDAN12:11

for f, g being FinSequence of (TOP-REAL 2) st f,g are_in_general_position holds
(L~ f) /\ (L~ g) is finite