[Bou84], pp. 45–46.