么我想问问这篇论文的作者，奥利弗先生，请问，你是怎么得出这条引理的呢？”