Hopkins%27 theorem

undefined