Can we prove the following statement:

Let AA be a Noetherian integral domain and p\mathfrak{p} be a prime ideal. If the chain of prime ideals, 0=p0⊊p1⊊⋯⊊pn=p0=\mathfrak{p}_0\subsetneq \mathfrak{p}_1\subsetneq\cdots\subsetneq\mathfrak{p}_n=\mathfrak{p}, is maximal (that is, we can not insert any prime ideals into this chain), then height \mathfrak{p}=n\mathfrak{p}=n.

=================

=================

=================