Wir führen jetzt eine Multiplikation von Paaren in IR2 ein. Es sei (a,b)⋅(c,d) := (ac - bd,ad + bc).
Damit erhält man das folgende Resultat.