Nele tem um problema assim: Seja Q+ o conjunto dos racionais postivos. Construa uma função f: Q+-->Q+ tal que f(xf(y))=f(x)/y, para todo x,y E Q+. Tem a solução logo abaixo, só no final ele diz assim "Assim, basta construir a função para os inteiros positivos. Mais ainda, basta defini-la para os primos." Por quê? e outra, se eu quisesse saber por exemplo f(4) não daria. Ele só definiu para os primos.
Grato.