Reelle Zahlen/Vervollständigung von Q/Addition und Multiplikation/Wohldefiniert/Aufgabe