Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 323 / 2 / a / ii / 1 / Solution

Fororthonormality of the $|b_i⟩$ givesNormalization follows from ${\sum }_i{\lambda }_i=1$, so this is a purification of a density operator.