Height of a prime ideal: Difference between revisions