法还是从线性形式对数理论开始讲起，我在费马的丢番图猜想证明那篇论文里提到这这个理论，并且对我自己提出的理论进行了证明。
我相信你们在知道我要来之后，也对它做了一番研究，知道它能用在丢番图方程和超越数理论方面。
比如Catalan猜想，即 ax−by=1a^x - b^y = 1ax−by=1的整数解非常有限，可以用它来解决。
无论是基本概念还是应用范围，我相信大家都做了功课，有一定了解。
因此我想在这里给各位讲讲动机。”