theorem Th5: :: RLAFFIN3:5

for V being finite-dimensional RealLinearSpace
for A being affinely-independent Subset of V holds card A <= 1 + (dim V)