Eine Menge M mit 2 Verknüpfungen heißt Körper wenn die folgenden Gesetze erfüllt sind:
A:
M:
Achtung: M4 gilt unter Ausschluß des neutralen Elements von A3
Zeige jetzt : [r]5 [r]7 [r]3 bilden einen Körper