>>253
いいえ、原文のままで正しい。　tに依存しないのは明らかだが、sにも依存しないように
できる、というのが主張。これをsで微分すると0になり、それと(3,3.16）を使うとXTがtに
依存しないことが示せる。