Zeige, dass in M ⊆ Z [ V ] {\displaystyle {}M\subseteq \mathbb {Z} [V]} aus Beispiel durch x ≥ y {\displaystyle {}x\geq y} , falls es ein z ∈ M {\displaystyle {}z\in M} mit x = y + z {\displaystyle {}x=y+z} gibt, eine totale Ordnung gegeben ist.