Angeordneter Ring/x größer y gdw Quadrate/Aufgabe

Es sei ein angeordneter Ring und . Zeige, dass genau dann gilt, wenn

gilt.