theorem BLTh14: :: ZMATRLIN:73

for V, W being non empty ModuleStr over INT.Ring
for f being Form of V,W
for a being Element of INT.Ring
for w being Vector of W holds FunctionalSAF ((a * f),w) = a * (FunctionalSAF (f,w))