Exercice 4, § 2

Soient A, B, C, D quatre ensembles munis de structures de même espèce $\Sigma$, $f$ un morphisme de A dans B, $g$ un morphisme de B dans C, $h$ un morphisme de C dans D. Montrer que si $g \circ f$ et $h \circ g$ sont des isomorphismes, $f$, $g$ et $h$ sont des isomorphismes (cf. II, p. 50, exerc. 9).