theorem Th15: :: JORDAN1B:15

for f being FinSequence st len f >= 3 holds
Center f < len f