Entonces, tras recibir Bob los dos bits clásicos y aplicar las operaciones pertinentes, ya tiene el estado que se quería enviar desde un principio, formula_7.