Perfect distinguishability of pure states

Two pure states can be distinguished with certainty in one measurement exactly when their inner product is zero.