10.2. Proposed first approach🔗

Divide the first pair by its nonzero first entry. Multiply the second pair by that entry. The products do not change. This gives the arguments a, b, ta, and tb. The proposed next step is to prove that this normalized statement is equivalent to the original statement.

The library contains the statement NormalizedConjecture. The equivalence and the transcendence claim remain open.

The six exponentials theorem needs a third independent value. A rational combination of the first two values does not meet that condition. A numerical approximation also cannot establish transcendence.