Sea $p\geq 3$ un entero positivo impar. Demuestra que $p$ es primo si y solo si como sea que elijamos $(p+1)/2$ enteros positivos distintos por pares, podemos encontrar dos de ellos, $a$ y $b$ , tales que $(a+b)/\gcd(a,b)\geq p.$