The Krull intersection theorem | Synapse