well, what exactly would you mean by a

*non local*hidden variable theory?

where exactly does the assumption of locality come,in the proof of Bell's theorem? does it arise when we say that in a hidden variable theory( in the proof of Bell's theorem), even non-commuting variables have simultaneous reality?