On veut montrer que injective implique que est injective.

Pour montrer que est injective, nous prenons deux éléments et qui ont la même image par

Si nous composons, nous obtenons et donc

Comme est injective, on déduit et donc que est injective.