Write the proposed quantum state ensemble as with normalized pure states, so thatTaking the expectation values in and , and setting , givesConsequently and . Substitution then gives . The two pure states are therefore orthogonal, with equal probabilities:Conversely, any orthonormal basis of a qubit has projectors summing to , so such a quantum state ensemble does give . This proves the characterization of two-state ensembles of a maximally mixed qubit.