[Bou01], p. 162.