Kita akan menggunakan induksi pada \(r\text{.}\) Suatu transposisi tidak mungkin merupakan identitas; jadi, \(r \gt 1\text{.}\) Jika \(r=2\text{,}\) pembuktian selesai. Andaikan \(r \gt 2\text{.}\) Dalam hal ini, hasil kali dua transposisi terakhir, \(\tau_{r-1} \tau_r\text{,}\) harus merupakan salah satu kasus berikut:
\begin{align*}
(a, b)(a, b) & = \identity\\
(b, c)(a, b) & = (a, c)(b, c)\\
(c, d)(a, b) & = (a, b)(c, d)\\
(a, c)(a, b) & = (a, b)(b, c)\text{,}
\end{align*}
dengan \(a\text{,}\) \(b\text{,}\) \(c\text{,}\) dan \(d\) semuanya berbeda.
Persamaan pertama hanya menyatakan bahwa suatu transposisi merupakan invers dirinya sendiri. Jika kasus ini terjadi, hapus \(\tau_{r-1} \tau_r\) dari hasil kali untuk memperoleh
\begin{equation*}
\identity = \tau_1 \tau_2 \cdots \tau_{r - 3} \tau_{r - 2}\text{.}
\end{equation*}
Berdasarkan induksi, \(r - 2\) genap; jadi, \(r\) harus genap.
Dalam setiap tiga kasus lainnya, kita dapat mengganti
\(\tau_{r - 1} \tau_r\) dengan ruas kanan persamaan yang bersesuaian untuk memperoleh hasil kali baru dari
\(r\) transposisi bagi identitas. Dalam hasil kali baru ini, kemunculan terakhir
\(a\) berada pada transposisi kedua dari belakang. Kita dapat melanjutkan proses ini dengan
\(\tau_{r - 2} \tau_{r - 1}\) untuk memperoleh hasil kali dari
\(r - 2\) transposisi atau hasil kali baru dari
\(r\) transposisi dengan kemunculan terakhir
\(a\) berada dalam
\(\tau_{r - 2}\text{.}\) Jika identitas merupakan hasil kali dari
\(r - 2\) transposisi, sekali lagi pembuktian selesai berdasarkan hipotesis induksi; jika tidak, kita mengulangi prosedur tersebut dengan
\(\tau_{r - 3} \tau_{r - 2}\text{.}\)
Pada suatu tahap, kita akan memperoleh dua transposisi identik yang berdampingan dan saling menghapus, atau
\(a\) akan digeser sehingga hanya muncul dalam transposisi pertama. Namun, kasus terakhir tidak mungkin terjadi, karena dalam keadaan ini identitas tidak akan menetapkan
\(a\text{.}\) Oleh karena itu, permutasi identitas harus merupakan hasil kali dari
\(r-2\) transposisi dan, sekali lagi berdasarkan hipotesis induksi, pembuktian selesai.