Ahora, como formula_12 y formula_11, se tiene que la proposición simple formula_14.