>>480
時枝解法は可算無限個の箱の内の1つの中身を当てる

反例は可算無限個の全ての箱で当てられないですよ
反例が1つで良いのは「可算無限個の全ての箱で当てられない」例が1つで良いということ