Simplifcation of `isReducedFraction`.

If the GCD of the numerator and denominator is 1, then we know the fraction is in its simplest form.