This is a special case of the result of Hartogs number, and the general case can be proved similarly.
这是 Hartogs 数（英语：Hartogs number）的结果的特殊情况，而一般情况可以类似的证明。