En efecto, formula_8 es una cadena así descrita si y sólo si formula_9 o formula_10 donde formula_11 para algún formula_12 y formula_13 denota la negación a nivel de bit de formula_14 (intercambiar los ceros y los unos).