theorem Th65: :: RLAFFIN1:65

for V being RealLinearSpace
for A being Subset of V holds conv A c= Affin A