The Bell–Kochen–Specker theorem