미분 덧셈정리 없이 풀림