Another graduate student and I are working on an research project and are looking for a paper or other source that has a proof for a result about polygons on an integer lattice structure. Suppose you have a convex polygon on an integer lattice structure with more than 5 integer points on its boundary. Is there a way to take a subset of 5 of the integer points on the boundary of this polygon and connect any points not already adjacent to each other to form a smaller convex polygon, while guaranteeing you are not introducing new integer points on the boundary of this smaller convex polygon?
Consider the convex polygon with vertices $(0,0),(5,1),(4,4),(0,11),(-4,4),(-5,1)$. There are no lattice points on its boundary other than the six vertices. If you take any two that aren't adjacent, the line segment joining them has an interior lattice point, so if you take five of them, the segment joining the two that were adjacent to the one you leave out will contain a new lattice point on the boundary of the polygon formed by the five you take.