Classical Iwasawa theory, III: Main conjecture