  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.
