theorem
  F1 c= F2 & F2 is affinely-independent implies F1 is affinely-independent;
