Gisin's theorem (source code)

= Gisin's theorem
{c}

Every entangled pure state of two qubits violates a <CHSH inequality> for a suitable choice of local measurement axes. If its two <Schmidt coefficients> are $c_0,c_1>0$, the optimal construction already gives a value $2\sqrt{1+(2c_0c_1)^2}>2$.