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