NulForm (V,V) = FormFunctional ((0Functional V),(0Functional V)) by BILINEAR:22;
hence NulForm (V,V) is hermitan by Lm3; :: thesis: verum