Angeordneter Ring/x geq y/Negative/Aufgabe

Aus Wikiversity
Es sei ein angeordneter Ring und . Zeige, dass dann ist.