局面は有限で千日手があるから
はい証明終了