Petunjuk 1. Fungsi konstan pada domain dua unsur menguji klaim citra yang memerlukan injektivitas.

Petunjuk 2. Fungsi identitas pada dua unsur dan satu unsur kodomain yang tidak tercapai menguji arah inklusi prapeta dan citra.