para todo formula_11 e formula_12 mostrando que en ese caso también se cumple