So stell ich mir das vor:
x+z < y +z | +(-z)
(x+z) + (-z) < (y+z) + (-z) | ass.ges.
x + (z + (-z)) < y + (z + (-z)) | 0 der Add.
x + 0 < y + 0
x < y
Du musst nun aber zu jedem Schritt noch einen Punkt in euren Definitionen und Sätzen zu geordneten Körpern finden (ANSCHREIBEN MIT Nummer oder Name), sonst ist noch gar nichts gezeigt.