A Constructive Formulation of Gleason's Theorem

In this paper I wish to show that we can give a statement of a restricted form of Gleason's Theorem that is classically equivalent to the standard formulation, but that avoids the counterexample that Hellman gives in Gleason's Theorem is not Constructively Provable.