Is the conjecture not trivially sound at an intuition level? It's surprising that this proof was difficult.