For proof details, see Section 8.3. ᮀ