theorem Th49:
  for ADG being Proper_Uniquely_Two_Divisible_Group holds AV(ADG) is AffVect
proof
  let ADG be Proper_Uniquely_Two_Divisible_Group;
  ex a,b being Element of ADG st a<>b by STRUCT_0:def 10;
  hence thesis by TDGROUP:17;
end;
