 We now prove the first part of the theorem, namely, that the CHSH inequality follows from the factorizability condition (F). If F is satisfied, then, using (4), and the fact that \(A_{\lambda}(a)\) and \(A_{\lambda}(a')\) lie in the interval \([-1,1]\),