A.F.1.d.ii: given two points on the line whose coordinates are integers;