「イデアル類群　素イデアル」／note.com/unramified/　の記事　／　解答してみた