>>553
>>551は別人で質問提示者じゃないので無視してやってください。
>>554
そう仮定すると解けないから悩んでるんです。

>>555
すべての場合について証明できなければ証明できたということにはならんのじゃないですか？