Easy Proofs of Some Consequences of Gleason's Theorem

The famous Gleason's Theorem gives a characterization of measures on lattices of subspaces of Hilbert spaces. While the proof of Gleason's Theorem is higly advanced, some of its consequences, in particular the nonexistence of hidden variables (=two-valued states), can be proved relatively easily. Here we present some of such results