Prove Theorem 6.16.

Prove Theorem 6.16.