Prove theorem 6.5

Adarsh Kumar's image