theorem Th6: :: CONVEX3:6

for V being non empty RLSStruct
for M being Subset of V st M = {} holds
M is cone ;