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

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