Last time we learned that in quantum theory only for a pure state does saturate the lower-bound We have , and so . From the LHS, we have From the right hand side, we have Equating the two implies that which indeed relates which I derive in the paper, and is equivalent to . It turns out that this is enough to pick out pure .