for f being FinSequence st len f is even holds
len f = (2 * (Center f)) - 2