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