Bell's inequality (J.S. Bell; 1964)
A quantum mechanical theorem shows that if quantum mechanics were to rely on hidden variables, it ought to have nonlocal properties.