루딘 스피박 같은 다변수 해석학 책에서의 스토크스 정리 증명과

john m lee 나 tu 의 smooth manifold 의 스토크스 정리 증명의 차이는 뭐임?