sが死ぬという証明はbが死ぬ未来にもつながるんちゃうん?