Hopkins' theorem