Prime Element iff Generates Principal Prime Ideal