非负整数的严格递减序列不可能无限延伸。
每次合法操作都严格降低非负整数 TTT。若无限进行,则产生 T0>T1>T2>⋯≥0T_0>T_1>T_2>\cdots\ge0T0>T1>T2>⋯≥0,这是不可能的。因此过程必定结束。