Con formula_11 se obtiene formula_12, y con ello se cumple (A4).