formula_13, por lo que formula_14 no será divisor de formula_15, y por lo tanto formula_4 no será un número de Giuga.