theorem BLTh21: :: ZMATRLIN:80

for V, W being non empty ModuleStr over INT.Ring
for g being Functional of W
for v being Vector of V
for w being Vector of W holds (FormFunctional ((0Functional V),g)) . (v,w) = 0