linear forms in logarithms

1. REDIRECT Baker's theorem

{{Redirect category shell|1=

{{R from merge}}

}}