Alice performs the operation and measurement from part (iii) and sends the one-bit outcome to Bob. If the bit is 0, Bob does nothing. If it is 1, Bob applies ZX, which maps ∣ψ2⟩ to ∣ψ1⟩ by part (i). In either case Bob finishes with the known target state ∣ψ1⟩, using one shared Bell pair and one classical bit.