Ansonsten bin ich der Meinung von Achim und Nijdam, dass in der Vereinfachten Erklärung erwähnt werden sollte, dass das noch kein Beweis ist. Es muss m.E. weiter unten erwähnt werden, dass unbedingte und bedingte W. nicht denselben Wert haben müssen, hier für Tor 1 aber haben, und dass genau das der Kern des Beweises ist, egal in welcher Form er dann gebracht wird (Baum, Baum in Kastenform von Nijdam, Symmetrieargument, Restmenge). LG – Rainald62 18:41, 5. Apr. 2009 (CEST)