La prueba de B se sigue, reemplazando A y B con formula_79 y formula_120.