公式にはそうである。