上記の仮定の下でformula_19のとき、