>>62
dg/dt=dl/dt÷(dm/ds)
正順パラメータの定義により、lやmは連続かつ単射です
このとき、lやmは単調にならなければなりません
つまり、微分係数の符号は一定値を取ります