[Bou84], p. 39.