Norm-Prime Elements Are Irreducible