>>891
「すべて」ということは、有限個しかないということですね。
有限個であるといる証明はできているのですか