passing test:  reducedWhenTheSumHasAGreatestCommonDivisor