theorem Th22: :: MATRIX14:22

for K being Field
for a being Element of K holds |(<*(0. K)*>,<*a*>)| = 0. K