krulls principal ideal theorem