Q6 Matemática  (IMO Shortlist 1978)

Seja uma função injetiva de em si mesma. Prove que para qualquer temos: