 A noncontextual probability assignment as defined in the previous section is equivalent to a frame function.Any such measure that can be written in the standard way, that is, by applying the Born rule to a quantum state, is termed a "regular" frame function.Gleason derives a sequence of lemmas concerning when a frame function is necessarily regular, culminating in the final theorem.