順序体であることの証明には時間がかかる

　現在２００６年１月２６日０時５４分である。

　昨日は、放送大学の試験で、「宇宙からの情報」と「数学とコンピュータ」の二つを受けてきた。

　解析入門Ⅰは、まだ例３の有理式の全体が順序体を作ることの証明をやっている。（Ｒ６）まで確かめた。１６個も条件があると、大変だ。

　今日はここまで。

　現在２００６年１月２６日１時００分である。おしまい。