Principal ideal theorem: Difference between revisions