Kochen-Specker theorem for a single qubit using positive operator-valued   measures
  A proof of the Kochen-Specker theorem for a single two-level system is presented. It employs five eight-element positive operator-valued measures and a simple algebraic reasoning based on the geometry of the dodecahedron. 
Adan Cabello