C1 Llamamos *punto de red* a un punto del plano cartesiano con coordenadas enteras. Dado un conjunto finito $\mathcal{S}$ de puntos de red, repetimos la siguiente operación: dados dos puntos de red distintos $A, B$ en $\mathcal{S}$ y dos puntos de red distintos $C, D$ que no están en $\mathcal{S}$ tales que $ACBD$ es un paralelogramo con $AB > CD$, reemplazamos $A, B$ por $C, D$. Muestra que solo se pueden realizar finitamente muchas de tales operaciones. Propuesto por Joe Benton, Reino Unido.