  The purpose of this paper is to prove the main conjecture of non-commutative
Iwasawa theory for p-adic Lie extensions, for an odd prime p, of totally real
number fields assuming that the Iwasawa mu invariant of a certain totally real
number field vanishes.
