[Jac96], p. 60.