Tu manifold 나 j lee smooth manifold 같은거요

R^n상에서의 스토크스 정리 증명도 알아야하나요 음함수 정리만 알면 되나요?