Llamamos a un conjunto de puntos libre si no hay un triángulo equilátero con los vértices entre los puntos del conjunto. Demuestre que cada conjunto de $n$ puntos en el plano contiene un subconjunto libre con al menos $\sqrt{n}$ elementos.