theorem BLTh10: :: ZMATRLIN:69

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