  A proof of the generalized Kochen-Specker theorem in two dimensions due to
Cabello and Nakamura is extended to all higher dimensions. A set of 18 states
in four dimensions is used to give closely related proofs of the generalized
Kochen-Specker, Kochen-Specker and Bell theorems that shed some light on the
relationship between these three theorems.
