Main conjecture of Iwasawa theory