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.
in-context