In a principal domain, state a necessary and sufficient condition for irreducible element to be prime.