補助 ほじょ定理 ていりじゃなかったです
hojoteirijanakattadesu

Noun
Desu Copula

The polite, past negative form of 補助定理

1. Wasn't a lemma.; Wasn't an auxiliary theorem.

Past/Perfective
Negative
Polite
Casual Register