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

Aus Wikiversity

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

gilt.