take the non trivial non constant additive homogeneous Functional of V *' ; :: thesis: ( the non trivial non constant additive homogeneous Functional of V *' is additive & the non trivial non constant additive homogeneous Functional of V *' is cmplxhomogeneous & not the non trivial non constant additive homogeneous Functional of V *' is constant & not the non trivial non constant additive homogeneous Functional of V *' is trivial )
thus ( the non trivial non constant additive homogeneous Functional of V *' is additive & the non trivial non constant additive homogeneous Functional of V *' is cmplxhomogeneous & not the non trivial non constant additive homogeneous Functional of V *' is constant & not the non trivial non constant additive homogeneous Functional of V *' is trivial ) ; :: thesis: verum