theorem Th16: :: CONVEX1:16

for V being non empty RLSStruct
for M being Subset of V st M is Affine holds
M is convex