From Einstein's theorem to Bell's theorem: a history of quantum non-locality