Linear form in logarithms