Dicho teorema es un teorema de imposibilidad que demuestra que no existen teorías de variables ocultas locales que sean compatibles con la mecánica cuántica.