无穷势中可数无穷势是最小的势，连续统势是次小的势，这个命题是可证明的