 Gleason's result implies that this only happens in dimension 2.Gleason's original proof proceeds in three stages.In Gleason's terminology, a "frame function" is a real-valued function formula_5 on the unit sphere of a Hilbert space such that
whenever the vectors formula_4 comprise an orthonormal basis.