theorem BLTh11: :: ZMATRLIN:70

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