無理数を整係数の代数方程式の根になる複素数で有理数でないもの、
と定義すると
と条件がつけられているのだから

>>145の陳述は正しい。