命題
代数的整数(>>157)全体は複素数体の部分環となる。
つまり、代数的整数の和と積は代数的整数である。

証明
前スレ１の510 より明らか。