prime factoralization? but the definition of UFD says that any nonunit a can be factorlized in to product of irreducible elements, say , where . Do you mean that is prime,or there is other theorem named"prime factoralization"?