Because both fractions are reduced and , they are distinct. Their difference is
The numerator is a nonzero integer, so its absolute value is at least one. Therefore
where the strict inequality uses . This is the separation of distinct reduced fractions.