Displaying similar documents to “Another proof of Iwasawa's class number formula”