Sea formula_29 entonces si formula_30 formula_31.