For a prime element and an irreducible element which one implies the other in an integral domain?