Solution (source code)

= Solution

Projecting the <GHZ state> onto Charlie's outcome $0$ leaves the unnormalised state $|00\rangle_{AB}/\sqrt2$. After normalization Alice and Bob have $|00\rangle$, a product state.