This question was asked in Theorem 10.5
Who do we make the construction

Swadhin Rana's image