The matrices are real symmetric, , and . Part b therefore gives
Since the local measurement outcomes are , their product is one exactly on agreement. Thus , and