Translation of "применена" in Spanish

Теперь мы покажем, как эта лемма может быть применена для доказательства основной теоремы.

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