Recíprocamente, si formula_29, entonces formula_28.