Charlie measures his qubit in the basis, . Rewriting the GHZ state in that basis gives
Each outcome occurs with probability . Charlie records for and for and sends that bit to Bob. Alice and Bob's conditional Bell state is . Bob applies , with applied first. Then
Thus every measurement branch gives the requested state after a known local correction: success is deterministic. All quantum operations act on only one party, and the only nonlocal resource used during the protocol is classical communication. This is localizing a Bell pair from a GHZ state by LOCC.
Ignoring Charlie's outcome instead gives Alice and Bob the average state , which is separable. The classical record supplies the correction needed to use the conditional entanglement; no communication-free preparation of a known entangled state is being claimed.