一般相対性理論の数学的証明法