>>990
>>987で示した反例は、case1で処理されるべきなので、case2の反例にはなってないのです。
混乱させました。ごめんなさい。