En cambio, cuando el algoritmo devuelve el valor "verdadero" no podemos afirmar que "n" sea primo.