補助 ほじょ定理 ていりじゃなかった
hojoteirijanakatta

Noun
Da Copula

The past negative form of 補助定理

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

Past/Perfective
Negative