The proof for this statement (which can again be carried out in ZF set theory) is included in the article on ideals.
这个陈述的证明（它可以在ZF集合论内得出）包含关于理想的文章内。