theorem :: ZMATRLIN:82

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