theorem Th8: :: RLAFFIN2:8

for V being RealLinearSpace
for A being Subset of V holds conv A = union { (Int B) where B is Subset of V : B c= A }