theorem
  conv A c= conv B implies Affin A c= Affin B
 proof
  Affin conv A=Affin A & Affin conv B=Affin B by Th67;
  hence thesis by Th52;
 end;
