>>521
(9)式の y のことだよ。(10)式の微分を考えると出てくる。