>>502
下に書いてある定義だとあまり理解できないというか素イデアルを経由せずに行ける定義ってないですか?