See Theorem
4.1.3 in
[
327
]
.