Krull%27s principal ideal theorem