This question was asked in Theorem 7.1
Assumed means

Harsha Gowda's image