Petunjuk A.13.1.

Petunjuk 1. Untuk setiap unsur, ada dua pilihan independen: dimasukkan atau tidak dimasukkan ke subhimpunan.
Petunjuk 2. Untuk bukti induksi, tambahkan satu unsur baru dan pasangkan subhimpunan yang memuatnya dengan yang tidak.
in-context