I am really going to be troubled by this problem to the death. The inability to prove the entire conclusion has caused me to be unable to write my master's thesis. However, it is clear that I cannot prove this conclusion :
mathoverflow.net/questions/481491/…