Help me write a prompt with a separate, self-contained thread on this. Our main goal is to re-proof largaris' Theorem 6.1, the right part of the horizontal segments correct as intended. Can we do it without doing the Largaris complete reasearch over. Can we just focus on the issue and re-do that?