You seem to be confusing the notions ofprimeandirreducible. What you have shown is that is irreducible in . A prime element is always irreducible, but an irreducible element is not necessarily prime. If the ring is a unique factorization domain, then the two notions coincide. In this case,isa unique factorization domain and hence 3 is indeed prime.