9.2. Is this easier?🔗

The fifth exponential condition restricts the configurations that we must consider. A known theorem covers the case with a third independent input. The dependent case is the remaining difficulty. This provides a specific case to study. It does not give a proof of the conjecture.

The source distinguishes ordinary, sharp, and strong versions. Their hypotheses differ. We must check each implication before we use it.

See Waldschmidt's statement on slide 28 and Conjecture 1.5 with its case discussion.