El numerador representa el número esperado de transiciones de formula_6 a formula_9, y el denominador representa el número esperado de transiciones desde formula_6: