일반 상대성 이론의 수학적 증명 방법