判明したんじゃなくて証明可能になっただけな
理論自体は前からあった