ランダウ力学§4の∂L/∂(v^2)*2vsが時間についての完全導関数になるような∂L/∂(v^2)は定数しかないってどうやって保証できるんですか？