Principal ideal theorem