15/05/06 09:53:02.08 SXg2oFIb.net
>>335 つづき
"We first show that Φ preserves order in R. If x <y, then there
is a real number ω such that ω≠O and y -x =ω^2. But then Φ(y) -Φ(x) = [Φ(W)]^2
with Φ(ω) ∈R and Φ(ω)≠O. Hence Φ(y) -Φ(x) is positive, i.e., Φ(x) <Φ(y)."
実数の二乗を使っている・・
これはこれで分かり易いかも
本題の次のIc, and complex conjugation へつなげて行くために、さらっと証明を済ませる・・