まぁ大学院の講義が環の定義，距離空間の定義とかだから…
絶対間違ってると思う．今からでも改善したほうがいい．