>>597
君が言いたいのはこれのこと?
"Endlichkeitssatze fur abelsche Varietatenuber Zahlkorpern" (Invent.1983)