Приготовление максимально запутанной пары кудитов

Убедитесь, что Алиса может локально приготовить максимально запутанное состояние кудитов $\left\vert \Phi\right\rangle _{AA^{\prime}}$, приготовив $|0\rangle_{A}|0\rangle_{A^{\prime}}$ и применив $F_{A}$ и $\operatorname{CNOT}_{d}$. Покажите, что

$$ \left\vert \Phi\right\rangle _{AA^{\prime}}=\operatorname{CNOT}_{d}\cdot F_{A}|0\rangle_{A}|0\rangle_{A^{\prime}}. $$