Beweis: a= p/q       b=m/n   und es sind p und m aus Z und q und n aus N
Ansatz sinnvoll, weil jede rationale Zahl so ein Qoutient ist.
a+b=p/q + m/n = (p*n+m*q)  /   (q*n)
Man sieht, dass bei der Summe im Zähler (p*n+m*q)  entsteht
und das ist unter den gegeb. Vor'en aus Z
und das Produkt im Nenner ist das Produkt zweier nat. Zahlen,
also selbst auch eine nat. Zahl