for V, W being non empty ModuleStr over INT.Ring
for g being FrFunctional of W
for v being Vector of V
for w being Vector of W holds (FrFormFunctional ((0FrFunctional V),g)) . (v,w) = 0. INT.Ring