Hopf-Rinowの定理