Among five random points whose x-coordinate and y-coordinate are integers, must there exist a mid-point whose x-coordinate and y-coordinate are also integers? Do you know how to prove it?