Translation of "лемма" in French

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

Montrons maintenant comment ce lemme peut être utilisé pour démontrer notre théorème principal.