State/Irreducible implies prime in a PID 1