補助 ほじょ定理 ていりだったら
hojoteiridattara

Noun
Da Copula

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

1. If the auxiliary theorem…; If the lemma…

Tara Conditional