aの任意のベキ乗は、最小多項式の次数未満のベキ乗の一次結合で書ける。
bについても同様だから、環Q[a,b]はQ上有限次元。

#警告！２ちゃんねるは有害です。