Hidden variables and the two theorems of John Bell