[Jac96], p. 67.