Aufgabe:
K ist mein angeordneter Körper.
x=-x genau eine Lösung für x∈K
Ich hatte mir überlegt vielleicht mit dem inversen Element zu arbeiten.
x=1*x. -x=(-1)*x
