Krull intersection theorem