- zu jedem Spiel G gibt es genau ein
Spiel H mit
G
H und H hat keine dominierten
und reversiblen Optionen.
- Beweisplan (Existenz):
- wiederholtes Anwenden der Vereinfachungsregeln
- Termination,
weil jede Regelanwendung den Ausdruck verkleinert
(Optionen entfernt)
- Beweisplan (Eindeutigkeit):
- jede Strategie führt zur gleichen Normalform
- praktisch nützlich:
- Strategie mit geringer Ableitungskomplexität
- ...falls alle Optionen schon in Normalform sind
