theorem :: RLAFFIN1:61

for V being RealLinearSpace
for A, B being finite Subset of V st A is affinely-independent & Affin A = Affin B & card B <= card A holds
B is affinely-independent