2008-03-29 練習74 E/Fが有限拡大なので、基底がある。この基底を使ってB/Fが書けるので、B/Fも有限拡大になる。有限であればB/Fの基底が取れる。B/Fの基底でE/Fの基底を書いて、そのB/Fの基底での商をつくれば、それは、E/Bの基底になる。以上から、[E:F]=[E:B][B:F]になる。(でいいんだろうか?)