>>566
背理法って知ってる?
>>551で証明されているのは
「A→Bの6の字でない乗車券」で「A→B→C→D→Bという6の字の乗車」を
経路変更すればできるという証明でしかないんだけど