So is another theorem that follows from quantum theory and makes no assumption about locality. It was proven by Bell, in 1966, and by Simon Kochen and Ernst Specker, in 1967, and is called the Kochen-Specker (KS) Theorem. It says that no property, such as position or spin, has a definite value that is independent of how it is measured.9 The opposite claim, that a property can have a definite value that is independent of how it is measured, is called “noncontextual realism.” The KS Theorem says that noncontextual realism is false.
