Angeordneter Körper/x geq y/Negative/Aufgabe

Es sei ${}K$ ein angeordneter Körper und ${}x>y$. Zeige, dass dann ${}-x<-y$ ist.

Eine Lösung erstellen