At the beginning we declared that m
n
is in lowest terms. Yet here we find that it is equal to
n
m−n
. Since m > n, the fraction n
m−n
is in lower terms and we have derived a contradiction.
Thus, our original assumption that φ ∈ Q is contradictory and thus the negation is true:
φ 6∈ Q.