1.c. A composta de funções bijectivas é bijectiva

O que queremos provar

A composta é bijectiva, ou seja, é injectiva e sobrejectiva.

Prova directa
...

Consequência directa das outras duas.