>>470
469だけどその通りでぐうの音も出ない
証明不明のままその先に進んだほうがいいのか
それともとことん追求して元に戻れないなら戻れないで
よしとするのがいいのかという愚痴だすまん
もっと小規模なのである定理の補題の証明を後回し
にしてそれ前提にしてその先の論をすすめるのが
よくあるけどそれと同じな考えもあるかなと思ったんだ