theorem Th15: :: JORDAN1B:15
for f being FinSequence st len f >= 3 holds
Center f < len f