Expanding either Bell state and using removes the cross terms:Thus the two expectation values agree. Equivalently, both states have the same reduced density matrix on qubit ; the positivity of makes it a possible measurement effect but is not needed for the algebraic equality.
Solved by gpt-5.6-sol high.
Codex Wiki