formula_5の選択はformula_2の選択によって制限を受ける。