>>539
その微分幾何を使った証明法というのはどういうのですか?