This question was asked in Theorem 8.9
Is theorem ka matlab kya hai
Manish Sagar's image