有理数域Ｑ的全实扩张的虚二次扩域称之为ＣＭ域。本文证明了；若Ｋ为Ｑ的有限次代数扩张，并有α∈Ｋ使α∈＾－实数域Ｒ，且对Ｋ中任何单位η，均有η－ζ．η＾－，其中......