むしろどこかの公式であった気がする