let (a,b) represent any lattice point. then as a,b are integers, there are four forms for (a,b): either (odd, odd), (even, even), (odd, even) or (even, odd). as we have five points of the form (a,b), by the pigeonhole principle at least two points will be of the same form. so let (c,d) represent the other point of the same form as (a,b). then for the midpoint of the line segment between these two points to be an integer, we need a+c and d+b to be an even integer since when we divide them by 2 we need an integer also, as lattice points are integer valued points. even + even is even, odd + odd is even. (a,b) and (c,d) are of the same form so a, c are of the same parity and b,d are of the same parity. hence a+c and b+d are both even, so the midpoint of the line segment between the two points will be a lattice point as both (a+c)/2 and (b+d)/2 are integers