公式でなく定義です。