タブーが何だかは知らないけど、例の証明は奇数の条件に依存している部分を取り除いても矛盾が導ける構造になってるんだから、結局ダメなんじゃないの?