ここでformula_21でありformula_10である。