Por construcción de los formula_24 se tiene que formula_25, por lo tanto, si formula_26, entonces "n" no cumple la propiedad (1).