Linear forms in logarithms
 
x
OK