Es claro que formula_7 si y sólo si formula_8, luego formula_9, así que