theorem Th11: :: JORDAN1B:11

for f being FinSequence holds Center f >= 1