IV: 2 Städte sind durch eine Einbahnstrecke verbunden
IV ist "Für jede Menge von n Städten gibt es eine Route, die jede Stadt genau ein mal besucht."
IS: Seien A1 ... An+1 Städte. Laut IV gibt es eine Route s1, ..., sn-1, die die Städte A1, ..., An genau ein mal besucht. Ende dieser Route sei die Stadt A. Laut Voraussetzung gibt es eine Einbahnstraße s von A nach An+1. Dann ist s1, ..., sn-1, s eine Route, die jede der Städte A1 ... An+1 genau ein mal besucht.