Petunjuk B.22.1.
Petunjuk 1. Untuk kegagalan kesamaan pertama gunakan fungsi konstan pada domain dua unsur; untuk kegagalan kedua tambahkan unsur kodomain yang tidak tercapai.
Petunjuk 2. Pada arah balik karakterisasi injeksi, uji himpunan satu unsur.