Tahap 1. Definisikan \(\bar f([x])=f(x)\text{.}\)

Tahap 2. Gunakan hipotesis untuk membuktikan bahwa pilihan wakil tidak berpengaruh.

Tahap 3. Untuk keunikan, evaluasi fungsi calon pada kelas \([x]=q(x)\text{.}\)