Baseados na proca que o Bruno deu para aquela problema, temos uma conclusao geral:Teorema de França: (Bruno Franca):Se, para uma funcao g:R-->R, houver apenas 1 único par (a, b) (ou(b,a), dah na mesma), com a e b distintos, tais que f(a) = b e f(b) = a, entao nao existe nenhuma funcao f:R--> R tal que g = f o f. E isso ai nao , eh? É sim. Acho que dá para estender essa conclusão. Se para g:R --> R houver p-tuplas (a_1,...,a_p) tais que f (a_1) = a_2, ..., f(a_(n-1)) = a_n então não existe nenhuma função f:R --> R tal que g = f o f ...o f , (p conposições de f).
Ronaldo.