>>405
イデアルの像は像のイデアルにしかならないので、
φが全射であることを示す必要がある。