可能性が高いことを証明したんだろ