補助 ほじょ定理 ていりなら
hojoteirinara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 補助定理

1. If the lemma is true; When the lemma is true

Nara Conditional