Krull's intersection theorem