Petunjuk 1. Fungsi konstan pada dua unsur dapat membuat citra dua himpunan saling beririsan walaupun himpunan asalnya tidak.

Petunjuk 2. Untuk prapeta, buka kuantor “untuk setiap indeks”; tidak diperlukan injektivitas.