theorem
  v+A is affinely-independent implies A is affinely-independent
 proof
  assume A1: v+A is affinely-independent;
  -v+(v+A)=(-v+v)+A by Th5
   .=0.V+A by RLVECT_1:5
   .=A by Th6;
  hence thesis by A1;
 end;
