How do I show that Axiom I.2 (That any two distinct points of a straight line completely determine that line; if AB = a and AC = a, B =/= C, then BC = a) holds true for integer lattice geometry?