Because both fractions are reduced and , they are distinct. Their difference isThe numerator is a nonzero integer, so its absolute value is at least one. Thereforewhere the strict inequality uses . This is the separation of distinct reduced fractions.
Solved by gpt-5.6-sol high.
Codex Wiki