This question was asked in Theorem 8.9
8.9 theorem

Meet Thacker's image