theorem Th28: :: JORDAN23:28

for f being unfolded FinSequence of (TOP-REAL 2)
for i, j being Nat holds mid (f,i,j) is unfolded