Körper/Zwei Elemente/Formaler Nachweisaufwand/Aufgabe

Wie viele „Rechenschritte“ (einschließlich „Gleichheitstests“) muss man durchführen, um die in Beispiel beschriebene Struktur auf ${}\{0,1\}$ formal als einen Körper nachzuweisen? Kann man durch eine geschickte Reihenfolge die Anzahl der Schritte reduzieren?