for D being non empty set
for f being FinSequence of D st 1 <= len f holds
f is_odd_substring_of f, 0