補助 ほじょ定理 ていりでしょう
hojoteirideshō

Noun
Desu Copula

Expresses probability in a polite manner ("probably…") of 補助定理

1. Probably a lemma.; Likely a supporting theorem.

Polite
Presumptive
Conjecture