for D being non empty set
for f, g being FinSequence of D st g is_odd_substring_of f, 0 holds
g is_odd_substring_of f,1