State/Irreducible implies prime in a PID

 =Proof=

=Metadata=