一瞬で導けるのだから公式など言わなくてもいいだろう。