おいら代数のことはサッパリだけど、

(>227)
＞然るにa、bは共に代数的数であるからモニック有理多項式が
＞モニック1次式の積に分解されるあることに着目すれば

その「モニック1次式の積」を(x−c1)(x−c2)…(x−cn) とすると、
c1〜cnは もはや有理数とは限らないよね？だから

(>232)
＞a、bを根に持つ1次のモニック有理多項式が存在する。

これもおかしくね？