Let
Proof
Case 1
Bob does a complete measurement on
Then
Case 2
When alice does a measurement prior to Bob, suppose Alice does measurement on
If outcome is
Now Bob does measurement on
So
Thus
same as in Case 1
Let
Bob does a complete measurement on
Then
When alice does a measurement prior to Bob, suppose Alice does measurement on
If outcome is
Now Bob does measurement on
So
Thus
same as in Case 1