Proof of the Main Conjecture of Noncommutative Iwasawa Theory for Totally Real Number Fields in Certain Cases - Mahesh Kakde (2008)