Jabarkan . dari Kaidah pencacahan

Pembuktian bijektif ialah teorema yang mendefinisikan jika fungsi  yang memetakan himpunan  ke himpunan  adalah bijektif, maka diperoleh bahwa .

Perhitungan ganda merupakan teknik pembuktian kombinatorial. Teknik pembuktian ini digunakan untuk membuktikan persamaan dua ekspresi dengan menunjukkan bahwa kedua ekspresi adalah dua cara menghitung kardinalitas sebuah himpunan yang sama.