補助 ほじょ定理 ていりではありませんでした
hojoteiridewārimasendeshita

Noun
Desu Copula

The polite, past negative form of 補助定理

1. Was not a lemma.; Was not an auxiliary theorem.

Past/Perfective
Negative
Polite
Formal Register