for K being Field
for x being FinSequence of K holds |((0* (K,(len x))),x)| = 0. K