https://www.passeidireto.com/pergunta/132275224/sejam-a-1-2-3-4-5-e-b-1-2-3-4-5-6-7-uma-funcao-f-de-a-em-b-e-injetiva-se-ao-toma
Recomendo esse arquivo que achei no Passei Direto