rmula_31 为单射，对于固定的 formula_32, 集族 formula_33 是不交族。此外，对于固定的 formula_34, 集族 formula_35 亦是不交族。根据 formula_6 的性质 (2), 集合 formula_37可数，故所以，存在 formula_39 使得而由于 formula_5 是乌拉姆数，由第二定义（取 formula_42, 则条件 皆符合），可得若 formula_44 则 formula_45 所以由性质 , formula_47 又因