Category:Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal