theorem Th66: :: CONVEX4:69

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