Prove Theorem 2.8.

Prove Theorem 2.8.