>>172 具体的にa(1)やらが決定できないから一意に定まらないんじゃないの?