Когда два состояния различимы без ошибки

Докажите, что существует измерение, которое с достоверностью различает квантовые состояния $|\psi\rangle$ и $|\phi\rangle$, тогда и только тогда, когда $\langle\psi|\phi\rangle=0$.