强终结定理

[计] strong terminating theorem

qiáng zhōng jié dìng lǐ ㄑㄧㄤˊ ㄓㄨㄥ ㄐㄧㄝˊ ㄉㄧㄥˋ ㄌㄧˇ