Định lý iđêan chính Krull