Triviality in ideal class groups of Iwasawa-theoretical abelian number fields - Horie, Kuniaki.