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

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

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