>>294
>bについても同様だから、環Q[a,b]はQ上有限次元。

要するに [Q[a] : Q] と [Q[b] : Q] が有限だがら
[Q[a,b] : Q] も有限と言ってるわけね。
これは何故？