theorem Th31: :: BILINEAR:31

for K being non empty multMagma
for V, W being non empty ModuleStr over K
for v being Vector of V
for w being Vector of W
for a being Element of K
for f being Form of V,W st f is homogeneousSAF holds
f . ((a * v),w) = a * (f . (v,w))