箱の中身の範囲がいかなる集合でも時枝戦略は通用するけど、何か?