>>89
公式の証明がのっていなかったので

いきなり使うわけにはいかないでしょう?