theorem Th27:
  A\/{v} is affinely-independent iff
     A is affinely-independent & (v in A or not v in Affin A) by RLAFFIN1:82;
