Schubfachprinzip und modulare Invarianten

Restklassen als Schubfächer einsetzen, teilbare Blöcke über Partialsummen erzwingen und unerreichbare Zustände durch erhaltene Reste erkennen.