Bell-Kochen-Specker theorem