Два описания оптимального двоичного квантового приёмника

Пусть $\Delta\rho=P_1\rho_1-P_0\rho_0$. Приёмник использует проекторы на отрицательное и неотрицательное собственные подпространства $\Delta\rho$. Проверьте, что ему эквивалентно измерение наблюдаемой $\Delta\rho$ с решением 1 при неотрицательном результате и 0 при отрицательном.