ゲームformula_4とformula_5の和のゲームformula_6とは、