>>666
用語の使い方や途中にもいろいろ誤りはあるけど、
大元の実数が既知の演算で体になるを示さないとほぼ無意味。
証明で一番難しいのはそこの部分。

ちなみにスレタイは実数に限ってない。
証明は環の公理から導かれる。無論環の公理を前提とするのを認めた上での事だけど。