theorem :: ZMODLAT1:82

for V, W being non empty right_complementable vector-distributive scalar-distributive scalar-associative scalar-unital add-associative right_zeroed ModuleStr over INT.Ring
for f being homogeneousSAF FrForm of V,W
for w being Vector of W holds f . ((0. V),w) = 0. F_Real