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