見ましたが、そこまでの学がないのでそれは前提条件で考えてました。
その証明もあるんですね。自分には分からないのですが…