>>353-355
面倒だけど帰納的に求めていく方法があるってことなんでしょうか?