Prove the claim in the proof of theorem 9.1.

Prove the claim in the proof of theorem 9.1.