Rationale Zahlen/Addition/Wohldefiniert/Aufgabe

Zeige, dass die Addition auf wohldefiniert ist.