Dos enteros $n, k$ satisfacen $n \ge 2$ y $k \ge \frac{5}{2}n-1$. Demuestre que cualesquiera $k$ puntos de la red con coordenada $x$ e $y$ no menores que $1$ y no mayores que $n$ que escojamos, debe haber un círculo que pase por al menos cuatro de estos puntos.