for ADG being Proper_Uniquely_Two_Divisible_Group holds AV ADG is AffVect