>>844 正当化は既にできているんだろ？dxとかdyについては

定義と正当化を混同してはいけません。