Совпадающие результаты в двух базисах выявляют запутанность

Пусть $\rho_{AB}$ — разделимое состояние двух кубитов. Докажите, что если при измерении обоих кубитов в стандартном базисе их результаты всегда совпадают, то при измерении в базисе Адамара разные результаты имеют ненулевую вероятность. Выведите отсюда, что пара Эйнштейна — Подольского — Розена не является разделимым состоянием.