Από τα δύο πρώτα δεδομένα βλέπουμε ότι η

είναι μετάθεση, αποτελούμενη από ξένες μεταξύ τους εναλλαγές. Άρα ο

είναι άρτιος.
Έστω

. Το τρίτο δεδομένο μας λέει ότι

, όπου

η ταυτοτική μετάθεση.
Αφού ο

είναι άρτιος, η

είναι περιττή μετάθεση. Οπότε, για να ικανοποιείται το τρίτο δεδομένο, πρέπει και η

να είναι περιττή, δηλαδή να αποτελείται από περιττό αριθμό εναλλαγών. Άρα

.