theorem BLTh30: :: ZMATRLIN:89

for V, W being non empty right_zeroed ModuleStr over INT.Ring
for f being additiveSAF Form of V,W
for w being Vector of W holds f . ((0. V),w) = 0