theorem Th21: :: MATRIX14:21

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