theorem :: RLAFFIN1:47

for V being RealLinearSpace
for F1, F2 being Subset-Family of V st F1 is affinely-independent & F2 is affinely-independent holds
F1 \/ F2 is affinely-independent