>>30
wikiをご覧になったのでしょうが、>>31のp209 theorem4.4.9.に証明が載っているということでしょう。
私がお伝えできることは、ここまでです。