(3,1+√-5)はZ[√-5]における素イデアルである
の証明がわかりません。I=(3,1+√-5)として
ab≡0 （mod I） ⇒ a≡0 （mod I） or b≡0 （mod I）
を考えてみたのですが、うまく出来ませんでした