[Bou84], pp. 118–119.