到 formula_49 由此得到 formula_28 至此证毕 formula_25 为乌拉姆数。类似可证 若 formula_52 为乌拉姆数多个乌拉姆数组成的集合，则其上确界亦为乌拉姆数。结合前一个结论，得知若某基数并非乌拉姆数，则必为弱不可达基数。