原文:由几个引理证明一个定理(公式)