Observe que si "n" no pasa el test en el paso "i" para algún "0b_{i-1}\neq \pm 1 \ (mod \ n) y formula_19, o sea que "n" no cumple la propiedad (2).