>>865

ちがいます。いま議論しているのはK'系の原点に関してです。

よってdx≠0、dx'=0　となります。