  For a wide class of domains $G\subset\mathbb C^d$ including balls and
polydisks we prove the density of their canonical image in the spectrum of
$H^\infty(G)$. This Corona Theorem is proved first in its abstract version for
certain uniform algebras. We use properties of bands of measures and
idempotents corresponding to Gleason parts.
  The essential tools are properties of hyper-Stonean spaces, normal and Henkin
measures, results on weak-star closures of reducing bands of measures and
uniform bounds for operators used to solve the Gleason problem concerning
generators of the ideal of analytic functions vanishing at a given point.
