「選択函数は存在するが、値を知ることはできない」
と仮定しても、時枝解法は成立しない。