theorem :: CONVEX4:57

for V being ComplexLinearSpace holds Up ((0). V) is convex