理論的に導き出したって数学の証明みたいだな