Recíprocamente, si formula_21, entonces de ( U-5 ) se sigue el resultado deseado.