Si formula_4 es par, entonces se elige formula_35 y formula_36 tal que formula_37 y formula_38.