[Jac96], p. 56.