Su demostración puede consultarse en [Theorem 6.2.14].