Start und Ziel vergleichen

Wenn $I$ unter jedem Zug gleich bleibt und $I(\text{Start})\ne I(\text{Ziel})$, gibt es keinen erlaubten Weg vom Start zum Ziel. Achtung: Gleiche Werte beweisen noch keine Erreichbarkeit – nur dass dieses Hindernis wegfällt.