미분기하들으면 다변수해석 커버됨?(발산 스토크스정리 등등까지)