順序数の三分律証明で必要になる例外