Sea $n$ un entero positivo libre de cuadrados, $S$ es un subconjunto de $[n]:=\{1,2,\ldots ,n\}$ tal que $|S|\ge n/2.$ Pruebe que existen tres elementos $a,b,c\in S$ (pueden ser iguales), que satisfacen $ab\equiv c\pmod n.$