Gleason's theorem

In dim ≥ 3 Hilbert space, every probability measure on projections comes from a density operator ρ via Tr(ρP). Derives Born rule from structure.