musst du alle Körperaxiome durchprüfen
z.B. assoziativ für addition
((a, b) + (c, d)) + (e,f) = (a + c, b + d) + (e,f)
= ((a + c)+e, (b + d)+f) wegen assoziativ in Q
= (a + (c+e), b +( d+f) )
= (a,b) + (c+e,d+f)
= a,b) + ( ( c,d) + (e,f) ) q.e.d.
und so weiter alle axiome
(0,1)*(0,1) = (-1,0) also hat x^2 = -1 eine Lösung