Unique mutation cycles of nucleus-extension quivers

We prove the uniqueness conjecture of Fomin and Neville for their long mutation cycles in all ranks $n\ge4$. More generally, we show that every nucleus-extension quiver has a unique simple cycle in its labeled mutation graph. These quivers allow an acyclic part of arbitrary size outside the nucleus.