Aquí, formula_2 es positivo si el número de factores primos del entero "k" es par, y negativo si es impar.