Statement of the Iwasawa Main Conjecture