補助 ほじょ定理 ていり
hojoteiride

Noun
Da Copula

て-form: Used to connect clauses, make requests, or chain actions of 補助定理

1. by a lemma; with a lemma

Te-Form