 1.3 Gleason’s Theorem:  Let \(\mathbf{H}\) have dimension \(\gt 2\). Then every countably additive probability measure on \(L(\mathbf{H})\) has the form \(\mu(P) = Tr(WP)\), for a density operator \(W\) on \(\mathbf{H}\). 