翻译

引理

以上结果来自机器翻译。