β の有理数体q上の最小多項式のすべての根は実数でない複素数である。