>>556
じゃあ、今度ね。
そもそも、今までとは方針が全く違う方法で証明自体は出来ているのだが、
これをここに書くことはよろしくないと思われるので、
敢えて別の方法で示そうと考えているのだが。意外に面倒な議論だな。