83は定理47、84は補題54を使うのかな。85も結局補題54か? 多段にわたる拡大体の塔の例がイメージできないので、もう一度読み直そうか。ああ、それは82なのか。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。