let v be Vector of V; :: according to ZMATRLIN:def 24 :: thesis: FunctionalFAF ((NulForm (V,W)),v) is homogeneous
FunctionalFAF ((NulForm (V,W)),v) = 0Functional W by BLTh10;
hence FunctionalFAF ((NulForm (V,W)),v) is homogeneous ; :: thesis: verum