theorem Th14: :: JORDAN1B:14

for f being FinSequence st len f >= 2 holds
Center f > 1