Otra definición equivalente, considerando formula_3 el conjunto de enteros positivos que son libres de cuadrados, es: