Does anybody have any reference related to my question or advice:
https://math.stackexchange.com/q/4417408/942722
I couldn't construct any counterexample, but I couldn't prove the statement either. I asked this question because I was interested whether or not the assumption in the stated theorem was redundant.