Let $A$ be a noetherian ring, and $\mathfrak q$ a $\mathfrak p$-primary ideal in $A$, then every chain of primary ideals from $\mathfrak q$ to $\mathfrak p$ has a finit length, the set of the length of all these chains is bounded, and every maximal chain has same length.
I've have already proofed that every chain form $\mathfrak q$ to $\mathfrak p$ is finite, and the set of the length of all these chains is bounded, so I just have to prove the last part.
I'm trying to prove by contradiction, I'm assuming that there is two maximal chains $\mathfrak q=\mathfrak q_0\subsetneq\dots\subsetneq \mathfrak q_n=\mathfrak p $, and $\mathfrak q=\mathfrak q'_1\subsetneq\dots\subsetneq\mathfrak q'_{m}$, and that $m<n$,so we have that exist a $\mathfrak q_i\neq \mathfrak q'_j$ for all $j\in \{0,\dots,m\}$, and using maximality , it never satisfies this relation $\mathfrak q'_j\subsetneq\mathfrak q_i\subsetneq \mathfrak q'_{j+1}$.
So what I want to do is to find a way to merge this two chains, and get that the shorter is not maximal, I think that it follows from some intersection of this $\mathfrak q_i$ with some of the $\mathfrak q'_j$, but I can not see how to get this done.
Is this proof going correctly? Any tips on how to proceed from that?
Thanks in advance.