公式であるだろ