Aufgabe 2: (15 Punkte)
Wir betrachten die folgende Problemspezifikation für die ganzzahlige Division zweier natürlicher Zahlen mit Rest:
Eingabe : zwei natürliche Zahlen n und m.
Ausgabe: p=q=0, falls m=0
p,q (mit p und q aus
IN), p=n div m und q=n mod m sonst.
Als Lösung bieten wir die Prozedur Division3 an