Linear forms in p-adic logarithms and the Diophantine equation formula here