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