无上界求和的求和作为引理

Question

我正在为一个需要我添加证明的课程写一篇论文。我已经在纸上整理好了证明，但我很难弄清楚在 Latex 中从哪里开始。我需要将下面的图片作为引理包含进去，这样它就会出现在下面代码中列出的等式中。我已经把它放在文档的\newtheorem{lemm}{Lemma}顶部了。基本上，如果我能弄清楚如何将图像中的等式作为引理编码到 Latex 中，我想我就会拥有编写其余证明所需的一切。我对 Latex 还很陌生，所以这对我来说是一项艰巨的任务。任何反馈或建议都将不胜感激。

\begin{lemm}  
A(x)B(x)=  
\end{lemm}

Answer 1

像这样吗？

\documentclass{article}
\usepackage{amsthm}
\newtheorem{lemm}{Lemma}
\begin{document}
\begin{lemm}
\[
A(x)B(x) = \sum_{k\ge0} \biggl( \sum_{i=0}^{k}a_ib_{k-i} \biggr) x^k
\]
\end{lemm}

\end{document}