Proof that no local hidden variable theory can reproduce all predictions of quantum mechanics.