O sea que una vez llegado al paso "k-1", la única manera en que "n" puede ser primo es si se verifica formula_27.