theorem Th9: :: TDGROUP:9

for ADG being Uniquely_Two_Divisible_Group
for a, b, c, d, p, q being Element of ADG st a,b ==> p,q & c,d ==> p,q holds
a,b ==> c,d