theorem Th43: :: RLAFFIN1:43

for V being RealLinearSpace
for A, B being Subset of V st A is affinely-independent & B c= A holds
B is affinely-independent