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