Satz 4.16 Mit den definierten Operationen (Addition und Multiplikation von Paaren) bildet IR2 einen Körper lC (den Körper der komplexen Zahlen).