最終的に を具体的に求めることはしていませんが、気になったので計算してみました。が、けっこう面倒なので途中で止めてしまいました。(^^;
でも実際に計算してみようとするとことで、確かに決められそうだ、ということは確認できました。
(5)式の次の式で、 と で縮約をとっていいのか一瞬悩みましたが、ダッシュは単に座標系を表しているだけなので、OKなんですね。