The GCD of aaa and bbb is ddd. Then ddd must be:
Greater than aaa
Less than or equal to both aaa and bbb
Exactly the average
The product