Petunjuk 1. Faktor lain yang tak kosong menyediakan koordinat pendamping untuk membuktikan proyeksi surjektif.

Petunjuk 2. Satu-satunya kandidat ialah \(f(x_1,x_2)=(f_1(x_1),f_2(x_2))\text{.}\)