theorem :: CONVEX1:8

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