時枝戦略を否定する瀬田は
a>b かつ a<b
を満たす自然数 a, b を示さなければならない