Wenn
die Identität ist, so ist für jedes
natürlich auch
,
sodass kein Fehlstand vorliegt. Die Umkehrung beweisen wir durch Induktion über
. Für
ist die Aussage richtig. Es sei sie für
schon bewiesen und sei eine Permutation
auf
ohne Fehlstand gegeben. Für jedes
gilt dann
.
Die
verschiedenen Zahlen
,
,
sind also kleiner als
, und daher ist die einzige verbleibende Möglichkeit
-

Daher ist

ein Fixpunkt von

und somit kann man

als eine Permutation auf

auffassen. Diese besitzt ebenfalls keinen Fehlstand und ist nach Induktionsvoraussetzung die Identität, also ist auch

die Identität.