Es sei S = { 0 , 1 , + , ⋅ , ≥ } {\displaystyle {}S=\{0,1,+,\cdot ,\geq \}} die Symbolmenge eines angeordneten Körpers. Zeige, dass es einen angeordneten Körper K {\displaystyle {}K} derart gibt, dass S − Aut K {\displaystyle {}S-\operatorname {Aut} \,K} nicht trivial ist.
