P
Initializing...
An algebraic number in the Q̄-span of the logarithms of algebraic numbers is 0 (Baker) · Prove2Me