theorem Th49: :: AFVECT0:49

for ADG being Proper_Uniquely_Two_Divisible_Group holds AV ADG is AffVect