Allingʹs Conjecture on Closed Prime Ideals inH∞

In this paper we show that every closed prime ideal in the algebra of bounded analytic functions on the open unit disk is an intersection of maximal ideals.