Baker's theorem for two logarithms: a·x + b·y is transcendental for ℚ-independent logarithms x, y and algebraic (a, b) ≠ 0

Initializing...

Baker's theorem for two logarithms: a·x + b·y is transcendental for ℚ-independent logarithms x, y and algebraic (a, b) ≠ 0 · Prove2Me