D_vf(P)가 존재하고 만일 D_vf(P)>0 면 D_(-v)f(P) = d/dt f(P+(-v)t)|_t=0 = d/dt f(P+v(-t))|_t=0 = -D_vf(P) < 0 이니까. 거짓이 아니라 참인 명제지.
D_vf(P)가 존재하고 만일 D_vf(P)>0 면 D_(-v)f(P) = d/dt f(P+(-v)t)|_t=0 = d/dt f(P+v(-t))|_t=0 = -D_vf(P) < 0 이니까. 거짓이 아니라 참인 명제지.