can't you just subtract n from both sides to obtain

0 < m < 1

which is clearly a contradiction to m being a natural number?

does the concept of subtraction exist at this point in your algebra yet? (seriously, it looks like you are still building the natural numbers)