There are two distinct points on the graph of F, say P and Q, with integer coordinates.

If the length of PQ is an integer, then will PQ always be parallel to the x-axis?

If so, prove it.
If not, provide an example.