In a UFD, primeness and irreducibility are equivalent. In particular, every Euclidean ring which is an integral domain is a UFD.
My question is this: is it possible to prove that "irreducible implies prime" directly (I mean without invoking "Euclidean implies PID implies UFD").