I have a question about the following proof:
How do I get that $\mathfrak a$ is reducible? I thought perhaps one can argue that $\mathfrak a \cap \mathfrak a = \mathfrak a$ is a finite intersection hence $\mathfrak a$ can't be irreducible. But this feels stupid so it must be wrong. Thanks for your help.