dx は「無限小のある定数」ということでしょ?