あるプレースformula_3に対し、非負整数formula_4が割り当てられたとき、