1.a. A composta de funções injectivas é injectiva

O que queremos provar

é injectiva, ou seja:

Se então

O que sabemos
...

  1. é injectiva:
  2. é injectiva:

Prova directa
...