ありゃりゃ、初日は代数的整数の定義だけで終了かいな。

とりあえず、代数的数の全体が体を成すことの証明をつけてみなよ。