eine Aussage, die bei der Untersuchung der Algebra der holomorphen Funktionen eine wichtige Rolle spielt. Das Lemma lautet:

Es seien G ⊂ ℂ ein Gebiet und \({f}_{1},\ldots, {f}_{n}\in {\mathcal{O}}(G)\)teilerfremde Funktionen.

Dann gibt es Funktionen \({g}_{1},\ldots, {g}_{n}\in {\mathcal{O}}(G)\)mit\begin{eqnarray}{g}_{1}(z){f}_{1}(z)+\cdots +{g}_{n}(z){f}_{n}(z)=1\end{eqnarray}für alle \(z\in G\).