これはformula_6およびformula_7の特別の場合になっている。