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.