外したい

ある定理の仮定が一体どこで使われているのかわからない。

不要であればもちろん邪魔なので、取り外したいのですが、

わざわざ仮定しているということはどこかで使っているはずで

外してしまって良いとの判断が怖くてできない状態です。

うーん…。でも全然使ってないし…。

ないと気楽にその定理が使えるようになるからなぁ…。