Objekte und Fächer

Zuordnung, Fachzahl und Bedeutung der Kollision müssen jeweils sichtbar begründet werden.

Nicht der Startzustand allein, sondern die Änderung bei einem beliebigen legalen Zug entscheidet über eine Invariante.

Erst die drei getrennten Rechnungen erlauben den Schluss, dass ein Ziel unerreichbar ist.

Gleiche Präfixreste liefern durch Subtraktion eine zusammenhängende Summe mit invariantem Rest null.