Gleason's theorem
[es] Teorema de Gleason
[zh] 格里森定理