たとえば証明を読んで使われていることだけを仮定するようなことをして
見通しを悪くしても意味ないねえ
本を書くときは目一杯拡張した形で定理を表現なんてしないよ
見通し悪い定理は読むのに面倒なだけだからねW