[Bou01], p. 105.