Nisam baš siguran da sam razumeo pitanje, ali...
Ako je
surjekcija i ako, primera radi, dokažemo:

a želeli bi da dokažemo:

, onda je dovoljno primetiti da za dato

uvek postoji

, za koje važi

pa upotrebiti ono prvo tvrđenje za

.
A slično bi prošla i varijanta kada je:

i

.
[Ovu poruku je menjao uranium dana 01.02.2006. u 13:16 GMT+1]