一場追溯的證明