補助 ほじょ定理 ていりだろう
hojoteiridarō

Noun
Da Copula

Expresses probability ("probably…") of 補助定理

1. Probably a lemma.; Probably an auxiliary theorem.

Presumptive
Conjecture