Kochen-Specker theorem

1. REDIRECT Kochen–Specker theorem

{{R from modification}}