theorem :: BILINEAR:56

for K being Field
for V, W being non trivial VectSp of K
for f being V17() linear-Functional of V
for g being V17() linear-Functional of W holds QForm (FormFunctional (f,g)) = FormFunctional ((CQFunctional f),(CQFunctional g))