2.4.2 有穷性