theorem Th10: :: JORDAN1H:10

for f being FinSequence of (TOP-REAL 2) holds X_axis f = proj1 * f