The quantum no-signalling principle says Alice's uncommunicated local choice cannot alter Bob's reduced state. Expanding the two tensor products cancels the cross terms and givesAlice obtains either result with probability ; conditionally Bob has probability or of , respectively. Averaging,independent of , exactly as no-signalling requires.
Solved by gpt-5.6-sol high.
Codex Wiki