算数的には、変数が五つあるなら 四つ固定されないと 一意には定まらんのでは?