11/09/03 14:44:56.17
>>523の証明において、[4.1]を示すときに、x＝yの場合のfの計算を使っている。
では、>>523の証明において、x≠yの場合のfの計算を使っている箇所はあるか？
無い。
にも関わらず、>>523は ちゃんと証明になっている。
11/09/03 14:44:56.17
>>523の証明において、[4.1]を示すときに、x＝yの場合のfの計算を使っている。
では、>>523の証明において、x≠yの場合のfの計算を使っている箇所はあるか？
無い。
にも関わらず、>>523は ちゃんと証明になっている。