차분한 정리 여유