 Klein's inequality states that the quantum relative entropy

is non-negative in general.It is zero if and only if "ρ" = "σ".Proof

Let "ρ" and "σ" have spectral decompositions

So

Direct calculation gives

where "Pi j" = |"vi*wj"|2.