Translation of "Lemma" in Spanish

Now, we show how this lemma can be used to prove our main theorem.

Ahora mostramos cómo se puede usar este lema para demostrar el teorema principal.